A Short Introduction to Formal Linguistics
نویسنده
چکیده
1 Mildly Context-Sensitive Syntax 5 1.1 Tree Adjoining Grammars . . . . . . . . . . . . . . . . . . . . . . . 6 1.1.1 Linguistic Analyses Using TAGs . . . . . . . . . . . . . . . . 8 Lexicalized Grammar . . . . . . . . . . . . . . . . . . . . . . 8 Long-Distance Dependencies . . . . . . . . . . . . . . . . . 9 1.1.2 Background: Context-Free Tree Grammars . . . . . . . . . . 10 IO and OI Derivations . . . . . . . . . . . . . . . . . . . . . 11 1.1.3 TAGs as Context-Free Tree Grammars . . . . . . . . . . . . . 12 1.2 Well-Nested MCSLs . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 1.2.1 Linear CFTGs . . . . . . . . . . . . . . . . . . . . . . . . . . 16 1.2.2 Two-Level Syntax . . . . . . . . . . . . . . . . . . . . . . . . 18 Background: Macro Tree Transducers . . . . . . . . . . . . . 19
منابع مشابه
A short introduction to two approaches in formal verification of security protocols: model checking and theorem proving
In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all different behaviors of a protocol and checking whether the desired goals are satisfied in all instances or not. We investigate Scyther operational semantics as n example of this...
متن کاملElements of Formal Semantics
Draft version of Chapters 1 and 2. Comments welcome! See webpage for future updates and mailing list: Elements of Formal Semantics will aim at introducing some of the foundational concepts, principles and techniques in formal semantics of natural language. It is planned as a basic but sophisticated introduction for readers who have some elementary background in set theory and linguistics. No ma...
متن کاملIdentity and Representation through Language in Ghana: The Postcolonial Self and the Other
Research related to colonialism and post colonialism shows how the identities of indigenous people were constructed and how these identities are reconstructed in our contemporary world. The thrust of this paper is that colonialism brought a shift in the linguistic structure of Ghana with the introduction of the use of English among Ghanaians. The coexistence of both Ghanaian languages and Engli...
متن کاملFormal Distributional Semantics: Introduction to the Special Issue
Formal Semantics and Distributional Semantics are two very influential semantic frameworks in Computational Linguistics. Formal Semantics is based on a symbolic tradition and centered around the inferential properties of language. Distributional Semantics is statistical and data-driven, and focuses on aspects of meaning related to descriptive content. The two frameworks are complementary in the...
متن کاملAn Analysis of English and Persian Academic Written Discourses in Human Sciences: An Evolutionary Account
The present paper focused on the sociocultural explanations of rhetorical differences between English and Persian and was based on the contrastive genre analysis of Applied Linguistics research article abstracts in these two languages. The evolutionary nature of research article abstracts was also investigated from 1985 to 2005, in three stages, with a time interval of 10 years. Seventy eight r...
متن کامل